indécidabilité

indécidabilité

indécidable [ ɛ̃desidabl ] adj.
• 1957; de 1. in- et décidable, p.-ê. d'apr. l'angl. undecidable
♦ Log. Qui n'est pas décidable. Proposition indécidable. — N. f. INDÉCIDABILITÉ .

● indécidabilité nom féminin Propriété d'une formule indécidable. Propriété d'une théorie dans laquelle il n'existe pas de procédé effectif permettant de décider, pour toute formule, si elle est ou non démontrable. (Une théorie assez puissante pour formaliser l'arithmétique est indécidable si elle est consistante ; le calcul des prédicats est indécidable.)

indécidabilité [ɛ̃desidabilite] n. f.
ÉTYM. Après 1950; de 1. in-, et décidabilité.
❖
♦ Log. Caractère d'une formule, d'une théorie qui ne peut pas être démontrée. || L'indécidabilité d'une théorie.
❖
CONTR. Décidabilité.

Encyclopédie Universelle. 2012.

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Indécidabilité — Décidabilité et indécidabilité En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s …   Wikipédia en Français

  • Decidabilite et indecidabilite — Décidabilité et indécidabilité En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s …   Wikipédia en Français

  • Décidabilité Et Indécidabilité — En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s agit de formaliser l idée qu… …   Wikipédia en Français

  • Décidabilité et indécidabilité — En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s agit de formaliser l idée qu… …   Wikipédia en Français

  • Théorème d'indécidabilité — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… …   Wikipédia en Français

  • Décidabilité — En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s agit de formaliser l idée qu… …   Wikipédia en Français

  • Décidable — Décidabilité et indécidabilité En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s …   Wikipédia en Français

  • Indécidable — Décidabilité et indécidabilité En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s …   Wikipédia en Français

  • Proposition indécidable — Décidabilité et indécidabilité En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s …   Wikipédia en Français

  • LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”